1. A programmer's introduction to computability and formal languages
المؤلف: Kurki-Suonio, Reino.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
K87
2. An introduction to formal language theory
المؤلف: Moll, Robert N.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Programming languages )Electronic computers(,، Formal languages
رده :
QA
76
.
7
.
M65
1988
3. An introduction to formal language theory
المؤلف: Moll, Robert N.
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers(,، Formal languages
رده :
QA
76
.
7
.
M65
1988
4. Automata, Languages and programming, 16th international colloquium, Stressa, Italy, July 1989 proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
A9228
1989
5. Automata, Languages, and programming: 19th international colloquium, Wien, Austria, July 13-17, 1992: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine thoery-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
267
.
A87
1992
6. Automata, language and programming; seventh Colloquium Noordwijkerhout, The Netherlands July 14-18, 1980
المؤلف: edited by J. W. de Bakker and J. van Leeuwen
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
85
7. Automata, language and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
المؤلف: edited by Wilfried Brauer
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
194
8. Automata, languages, and programming
المؤلف:
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Machine theory - Congresses,Formal languages - Congresses,Programming )Electronic computers( - Congresses
رده :
QA
.
A923
267
9. Automata, languages, and programming
المؤلف:
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
52
,
etc
...
10. Automata, languages and programming :
المؤلف: edited by G. Ausiello and C. Böhm.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
11. Automata, languages, and programming
المؤلف: / Zoltan Fulop, Ferenc Gecseg (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
رده :
QA267
.
A923
1995
12. Automata, languages, and programming
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
267
.
A923
13. Automata, languages and programming
المؤلف: / M. S. Paterson(ed)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Machine theory-- congresses,Formal languages-- Congresses,Programming (Electronic computers) -- Congresses
رده :
QA
267
.
A9228
1990
14. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
المؤلف: edited by Arto Salomaa and Magnus Steinby
المکتبة: (طهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
C63
1977
15. Automata, languages, and programming : 24th International Colloquium, ICALP 97 Bologna, Italy, July 7-11, 1997 : proceedings
المؤلف: Pierpaolo Degano, Roberto Gorrier, Alberto Marchetti-Spaccamela )eds.(
المکتبة: (طهران)
موضوع: Machine theory - Congresses , Formal languages - Congresses , Programming )Electronic computers( - Congresses
رده :
QA
267
.
I57
1997
16. Automata, languages and programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991 proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory--Congresses,، Formal languages--Congresses,، Programming )Electronic Computers(--Congresses
رده :
QA
267
.
A9228
1991
17. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
المؤلف: edited by Laurent kott
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
18. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
I55
1985
19. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
20. Formal description technique
المؤلف: / edited by K.R. Parker, G.A. Rose
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
